Communicating Hierarchical State Machines

A Systematic and Traceable Progression from Scenario Models to Communicating Hierarchical State Machines

Test Selection for Hierarchical and Communicating Finite State Machines

oracles may be used instead of characterization sets to check the precise or abstract state, respectively, of the cor-

Principles of Transforming Communicating X-Machines to Population P Systems

Population P Systems is a class of P Systems in which cells are arranged in a graph rather than a hierarchical structure. On the other hand, Communicating X-machines are state-based machines, extended with a memory structure and transition functions instead of simple inputs, which communicate via message passing. One could use Communicating X-machines to create system models built out of compon...

Hierarchical Communicating Real-Time State Machines

This paper proposes a methodology for the development of distributed real-time (RT) systems using the Communicating Real-Time State Machines (CRSMs) formal specification language. The methodology is novel in that it addresses complex systems by extending CRSMs with concepts borrowed from Statecharts, and favours timing predictability through a holistic integration of an RT system and its operat...

Specification of Control Flow Properties for Verification of Synthesized VHDL Designs

Behavioral speciications in VHDL contain multiple communicating processes. Register level designs synthesized from these speciications contain a data path represented as a netlist and a controller consisting of multiple communicating synchronous nite state machines. These nite state machines together implement the control ow speciied in and implied by the behavioral speciication in VHDL. This p...